Alonzo Church - definição. O que é Alonzo Church. Significado, conceito
Diclib.com
Dicionário ChatGPT
Digite uma palavra ou frase em qualquer idioma 👆
Idioma:

Tradução e análise de palavras por inteligência artificial ChatGPT

Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:

  • como a palavra é usada
  • frequência de uso
  • é usado com mais frequência na fala oral ou escrita
  • opções de tradução de palavras
  • exemplos de uso (várias frases com tradução)
  • etimologia

O que (quem) é Alonzo Church - definição

AMERICAN MATHEMATICIAN (1903-1995)
Church, A; Church, A.; A. Church; Alonzo Church (Mathematician); Alonso Church

Alonzo Church         
<person> A twentieth century mathematician and logician, and one of the founders of computer science. Church invented the lambda-calculus and posited a version of the {Church-Turing thesis}. (1995-03-25)
Alonzo Sánchez         
SPANISH MISSIONARY
Sánchez, Alonzo; Alonzo Sanchez
Alonso Sánchez (1547 – 27 May 1593) was a Spanish Jesuit missionary, one of the first Jesuits in the Philippines.
Alonzo Morphy         
AMERICAN JUDGE (1798-1856)
Alonzo Michael Morphy; Morphy, Alonzo
Alonzo Michael Morphy (November 23, 1798 – November 22, 1856)The Chess Games of Alonzo Morphy. was a lawyer serving as Attorney General of Louisiana from 1828 to 1830, and a justice of the Louisiana Supreme Court from August 31, 1839 to March 19, 1846.

Wikipédia

Alonzo Church

Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language (see e.g. Church 1970). Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.